List Of Titles

/

Change Site
GlobalView
Default Site
Research Data
Theses

Advanced Search
Expert Search

Sign In

Browse
Quick Collection

Sign In

Help
Search History
Clear Session

Showing items 1 - 3 of 3

Your selections:

ISBN:9781728125084

1API usage example 1code search 1compiler testing 1configuration 1error handling 1error specification 1graph kernel 1history 1search 1software reuse 1static analysis

1Chen, Junjie 1Gu, Ming 1Gu, Xiaodong 1Gu, Zuxing 1Hao, Dan 1Kim, Sunghun 1Li, Chi 1Wang, Guancheng 1Xiong, Yingfei 1Zhang, Lu 1Zhou, Min

Facets

1API usage example 1code search 1compiler testing 1configuration 1error handling 1error specification 1graph kernel 1history 1search 1software reuse 1static analysis

1Chen, Junjie 1Gu, Ming 1Gu, Xiaodong 1Gu, Zuxing 1Hao, Dan 1Kim, Sunghun 1Li, Chi 1Wang, Guancheng 1Xiong, Yingfei 1Zhang, Lu 1Zhou, Min

Title
Creator
Date

Ares: Inferring error specifications through static analysis

- Li, Chi, Zhou, Min, Gu, Zuxing, Gu, Ming, Zhang, Hongyu

Creator: Li, Chi , Zhou, Min , Gu, Zuxing , Gu, Ming , Zhang, Hongyu
Resource Type: conference paper
Date: 2019

CodeKernel: A Graph Kernel Based Approach to the Selection of API Usage Examples

- Gu, Xiaodong, Zhang, Hongyu, Kim, Sunghun

Creator: Gu, Xiaodong , Zhang, Hongyu , Kim, Sunghun
Resource Type: conference paper
Date: 2019

History-guided configuration diversification for compiler test-program generation

- Chen, Junjie, Wang, Guancheng, Hao, Dan, Xiong, Yingfei, Zhang, Hongyu, Zhang, Lu

Creator: Chen, Junjie , Wang, Guancheng , Hao, Dan , Xiong, Yingfei , Zhang, Hongyu , Zhang, Lu
Resource Type: conference paper
Date: 2019

1

English (Australia)
English (Australia)
Disclaimer
Privacy
Copyright
Contact
Deposit

About Vital

‹ › ×

Clear Session

Are you sure you would like to clear your session, including search history and login status?